More from this Author

Practical Foundations of Business System Specifications

by Haim Kilov (Editor), Ken Baclavski (Editor)

Behavioral Specifications of Businesses and Systems

by Haim Kilov (Editor), Bernhard Rumpe (Editor), Ian Simmonds (Editor)